package prolog.fluents
import java.io._
import prolog.io._
import prolog.terms._

def addAll(cs:List[Clause]){
cs.foreach(add)
}

